181. Software Engineering -- ESEC '95 :
پدیدآورنده: edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
182. Software Engineering and Environment :
پدیدآورنده: by Phillip C.-Y. Sheu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Software engineering.
183. Software Engineering with Computational Intelligence
پدیدآورنده: edited by Taghi M. Khoshgoftaar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Software engineering.
184. Software Service and Application Engineering
پدیدآورنده: edited by Maritta Heisel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
185. Software engineering and formal methods :
پدیدآورنده: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
186. Software engineering education :
پدیدآورنده: Jorge L. Diaz-Herrera (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
187. Specification of Software Systems
پدیدآورنده: by V.S. Alagar, K. Periyasamy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
188. Starting Out with Programming Logic and Design
پدیدآورنده: / Tony Gaddis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
189. Static Analysis :
پدیدآورنده: edited by Baudouin Charlier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
190. Static Analysis :
پدیدآورنده: by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
191. System Analysis and Modeling: About Models
پدیدآورنده: edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
192. TAPSOFT '95:
پدیدآورنده: edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
193. Tests and Proofs
پدیدآورنده: edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
194. The Fallacy of Inscrutability
پدیدآورنده: Kroll, Joshua A
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
195. The handbook of software for engineers and scientists /
پدیدآورنده: editor-in-chief, Paul W. Ross.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
رده :
QA76
.
754
.
H35
2018eb
196. The site reliability workbook :
پدیدآورنده: edited by Betsy Beyer [and 4 others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Information technology-- Management.,Reliability (Engineering),BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer engineering.,Information technology-- Management.,Reliability (Engineering)
رده :
T58
.
64
197. Theorem Proving in Higher Order Logics :
پدیدآورنده: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
198. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
199. Theory and Practice of Model Transformations :
پدیدآورنده: edited by Keith Duddy, Gerti Kappel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
200. Theory and Practice of Model Transformations
پدیدآورنده: edited by Zhenjiang Hu, Juan Lara
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
